$\vdash$  ($\lambda$$p$,$q$,$z$. $p$ $\wedge_{b}$ $q$) $\in$ $\mathbb{B}\rightarrow\mathbb{B}\rightarrow$($\downarrow$True)$\rightarrow\mathbb{B}$